Programming language semantics

Results: 372



#Item
41c Cambridge University Press 2009 JFP: page 1 of 24.  1 doi:S0956796809990219

c Cambridge University Press 2009 JFP: page 1 of 24.  1 doi:S0956796809990219

Add to Reading List

Source URL: www.cs.ioc.ee

Language: English - Date: 2009-10-12 08:32:22
42The parallel implementation of the Astr´ ee static analyzer David Monniaux http://www.di.ens.fr Centre national de la recherche scientifique (CNRS)

The parallel implementation of the Astr´ ee static analyzer David Monniaux http://www.di.ens.fr Centre national de la recherche scientifique (CNRS)

Add to Reading List

Source URL: www-verimag.imag.fr

Language: English - Date: 2007-10-18 09:45:46
43Abstract interpretation of probabilistic semantics David Monniaux http://www.di.ens.fr/~monniaux LIENS, 45 rue d’UlmParis cedex 5, France

Abstract interpretation of probabilistic semantics David Monniaux http://www.di.ens.fr/~monniaux LIENS, 45 rue d’UlmParis cedex 5, France

Add to Reading List

Source URL: www-verimag.imag.fr

Language: English - Date: 2007-10-18 09:43:37
44Efficient Formally Secure Compilers to a Tagged Architecture General Information machine-checked proofs of full abstraction with respect to a secure high-level semantics [3]. This is much stronger than

Efficient Formally Secure Compilers to a Tagged Architecture General Information machine-checked proofs of full abstraction with respect to a secure high-level semantics [3]. This is much stronger than

Add to Reading List

Source URL: prosecco.gforge.inria.fr

Language: English - Date: 2015-12-11 07:16:08
45An Equivalence-Preserving CPS Translation via Multi-Language Semantics ∗ Amal Ahmed Matthias Blume

An Equivalence-Preserving CPS Translation via Multi-Language Semantics ∗ Amal Ahmed Matthias Blume

Add to Reading List

Source URL: www.ccs.neu.edu

Language: English - Date: 2012-11-10 10:05:38
46Weakest Precondition Synthesis for Compiler Optimizations Nuno P. Lopes and Jos´e Monteiro INESC-ID, IST Universidade de Lisboa Abstract. Compiler optimizations play an increasingly important role

Weakest Precondition Synthesis for Compiler Optimizations Nuno P. Lopes and Jos´e Monteiro INESC-ID, IST Universidade de Lisboa Abstract. Compiler optimizations play an increasingly important role

Add to Reading List

Source URL: web.ist.utl.pt

Language: English - Date: 2013-11-29 09:30:12
47Compositional Verification of a Baby Virtual Memory Manager Alexander Vaynberg and Zhong Shao Yale University Abstract. A virtual memory manager (VMM) is a part of an operating system

Compositional Verification of a Baby Virtual Memory Manager Alexander Vaynberg and Zhong Shao Yale University Abstract. A virtual memory manager (VMM) is a part of an operating system

Add to Reading List

Source URL: flint.cs.yale.edu

Language: English - Date: 2012-10-02 09:49:19
48TSL: A System for Generating Abstract Interpreters and its Application to Machine-Code Analysis JUNGHEE LIM GrammaTech, Inc. and THOMAS REPS

TSL: A System for Generating Abstract Interpreters and its Application to Machine-Code Analysis JUNGHEE LIM GrammaTech, Inc. and THOMAS REPS

Add to Reading List

Source URL: research.cs.wisc.edu

Language: English - Date: 2013-03-05 23:54:33
49Reusing OCL in a Programming Language Fabian B¨ uttnera,∗, Martin Gogollab a AtlanMod, ´

Reusing OCL in a Programming Language Fabian B¨ uttnera,∗, Martin Gogollab a AtlanMod, ´

Add to Reading List

Source URL: www.db.informatik.uni-bremen.de

Language: English - Date: 2014-12-03 03:28:51